Control Flow Checking or Not? (for Soft Errors)
نویسندگان
چکیده
منابع مشابه
Control Flow Checking or Not? (for Soft Errors)
Control Flow Checking (CFC) techniques were proposed to provide efficient protection from soft errors. The main idea is that most soft errors will eventually manifest as errors in the sequence of instruction execution. Therefore, just by making sure that the sequence of instructions executed (or the control flow of the program) is correct, then significant protection can be achieved. Note that ...
متن کاملSoft Errors and Tolerance for Soft Errors
IC technologies are approaching the ultimate limits of silicon in terms of channel width, power supply and speed. By approaching these limits, circuits are becoming increasingly sensitive to noise. The reduction of VDD voltage and geometry shrinking implies the reduction of node capacitance. This will increase the ICs sensitivity to alpha particles and atmospheric neutrons, creating unacceptabl...
متن کاملInformation Flow Control with Errors
Information Flow Control is concerned with the correct handling of data with respect to a security policy. A common enforcement technique is annotated type systems. For object-oriented languages, type systems have been developed for class-based languages. The reason for this is that in a class-based language, it is simpler to design a type system that ensures well-typed programs do not result i...
متن کاملConcepts for Autonomous Control Flow Checking for Embedded CPUs
In this paper, we introduce new concepts and methods for checking the correctness of control flow instructions during the execution of programs in embedded CPUs. Detecting and avoiding the execution of faulty control flow instructions is a problem of growing importance w.r.t. reliability and security. On the other hand, hardware cost overheads and an easy integration into the design flow are of...
متن کاملSoftware Based Concurrent Control Flow Checking
A software technique to concurrently detect errors is presented It is based on monitoring the sequence of high level language statements using assigned signature control ow checking A preprocessor analyzes the program source and inserts control ow checking code into the program This method is shown to have only a low execution time overhead and moderate program size overhead It was evaluated on...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM Transactions on Embedded Computing Systems
سال: 2019
ISSN: 1539-9087,1558-3465
DOI: 10.1145/3301311